perm filename IDEAS[W85,JMC] blob sn#807044 filedate 1985-12-27 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	ideas[w85,jmc]
C00003 ENDMK
CāŠ—;
ideas[w85,jmc]

reifying goals to make circumscription of ab work
1. I had thought that circumscribing  ab  could not delimit the
achievement of goals to those that can be shown to be achievable
with the axioms.  However, provided we reify the goals we can
do it.  We merely use an axiom

achievable(g,s) āŠƒ ab aspect77(g,s).